./smc.sh pacman.nm pacman.props -prop crash -heuristic RTDP_ADJ -RTDP_ADJ_OPTS 1 -colourParams S:20000000,Av:10,e:0.05,d:0.05,p:0.05,post:64 -const MAXSTEPS=60
PRISM-games
===========
Version: 2.0.beta3
Date: Fri Mar 20 06:42:35 UTC 2020
Hostname: 68eec9c801d9
Memory limits: cudd=1g, java(heap)=8.9g
Command line: prism pacman.nm pacman.props -prop crash -heuristic RTDP_ADJ -RTDP_ADJ_OPTS 1 -colourParams 'S:20000000;Av:10;e:0.05;d:0.05;p:0.05;post:64' -const MAXSTEPS=60 -javamaxmem 10g
Parsing the model file "pacman.nm"...
Parsing properties file "pacman.props"...
1 property:
(1) "crash": Pmin=? [ F "Crash" ]
Type: MDP
Modules: arbiter ghost0 ghost1 pacman
Variables: pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
---------------------------------------------------------------------
Model checking: "crash": Pmin=? [ F "Crash" ]
Model constants: MAXSTEPS=60
Starting heuristic: RTDP_ADJ
IsMDP false Collapse false break false
ColourParams: S:20000000 Av: 10 eps: 0.05 delta: 0.05 pmin: 0.05
TransDelta: -5.88915054515631E-10
HeuristicSG: Version try0
Grey
======================================
----------
Computation aborted after 1800.2622923851013 seconds since the total time limit of 1800 seconds was exceeded.